| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 531708 | ||
| Compilerbau | Fach-/Modulprüfung | 6 | 534496 | Di 29.07.2025 12:00-14:00 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) Di 02.09.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H02 (1385|102) Roter Hörsaal AM (Ro) (1420|002) | |
| Vorlesung | 533716 | Di 12:30-14:00 AH III (2350|314.1) (×13) Mi 14:30-16:00 AH III (2350|314.1) (×12) | |||
| Übung | 533717 | Fr 12:30-14:00 AH II (2350|111) (×13) | |||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 528016 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 531296 | ||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 531297 |